\begin{tabbing}
$\forall$$i$:Id, $A$:Realizer.
\\[0ex]R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ \=$A$\+
\\[0ex]$\Vdash$ ${\it es}$.(state@$i$ $\subseteq$r State(R{-}state($A$;$i$))) \& $\forall$$e$@$i$. valtype($e$) $\subseteq$r Valtype(R{-}da($A$;$i$);kind($e$))
\-
\end{tabbing}